$\forall$$g$:GrpSig, $a$, $b$:$\mid$$g$$\mid$. ($a$ $<_{b}$ $b$) $\in$ $\mathbb{B}$